*-Continuous Kleene ω-Algebras for Energy Problems
نویسندگان
چکیده
منابع مشابه
*-Continuous Kleene ω-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کامل*-Continuous Kleene $\omega$-Algebras for Energy Problems
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a ...
متن کاملAn Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Motivated by this application and in order to compute ...
متن کاملKleene Algebras and Semimodules for Energy Problems
With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Uncovering a close connection between energy problems and reachability and Büchi acceptance for semiring-weighted automata, we sho...
متن کامل*-Continuous Kleene $\omega$-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.191.6